sequent calculus
[网络] 相继式演算
热门查询
- stand-up adj. 站立的；直立的；说单口相声的
- deal n. 交易；（美）政策；待遇；份量 vi. 处理；讨论；对待；做生意 vt. 处理；给予；分配；发牌 n. (Deal)人名；(英、西)迪尔
- Sharjah n. SHARJAH 沙迦阿拉伯联合酋长国中的酋长国
- petrify vt. 使…石化；使…惊呆 vi. 石化；惊呆
- bankbook n. 银行存折
- age-old adj. 古老的；由来已久的
- soured adj. 酸的；发酵的；刺耳的；酸臭的；讨厌的 vi. 发酵；变酸；厌烦 vt. 使变酸；使失望 n. 酸味；苦事 n. (Sour)人名；(柬)索
- decant vt. 移入其他容器；轻轻倒出 n. (Decant)人名；(法)德康
- naught n. [数] 零；无价值 adj. 无价值的；无用的 n. (Naught)人名；(英)诺特
- aminoglycoside n. 氨基糖苷类
- insubordinate adj. 不听话的；不顺从的
- optional adj. 可选择的，随意的 n. 选修科目
- feud n. 不和；争执；封地;（部落或家族间的）世仇 vi. 长期不和；长期争斗
- Humboldt 洪堡, 洪保德(①姓氏 ②Baron Friedrich Heinrich Alexander von, 1769-1858, 德国自然科学家、自然地理学家、著述家、政治家, 近代气候学、植物地理学、地球物理学的创始人之一 ③Baron Wilhelm von, 1767-1835, 德国语言学家、外交官)
- telegraphic adj. 电信的；电报的；电报机的
- corrective n. 矫正物；改善法 adj. 矫正的；惩治的
- Herrera [人名] 赫雷拉; [地名] [阿根廷、古巴、乌拉圭、西班牙] 埃雷拉
- analog n. [自] 模拟；类似物 adj. [自] 模拟的；有长短针的
- collegiate adj. 大学的；学院的；大学生的
- twitchy adj. 焦急的；焦躁不安的，神经紧张的；痉挛的
考试词汇表
- methyltrimethoxysilicane
- methyltrimethylolmethane
- methyltyramonyl carbinol
- methylvinylsiloxane unit
- meticulose (meticulosus)
- metizoline hydrochloride
- metleucauge yunohamensis
- metrazol shock therapies
- metrazol shock treatment
- metrekilogram(me)-second
- metric screw pitch gauge
- metric temperature scale
- metric tensor of surface
- metrically convex subset
- metrizable uniform space
- metro sulfate of ammonia
- metrological examination
- metrological performance
- metrological supervision
- metropathia hemorrhagica
